Vesa Halava: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Post Correspondence Problem for short words

Vesa Halava, Tero Harju, Mika Hirvensalo, Juhani Karhumäki

Journal:

Information Processing Letters

Year:

2008

Language:

english

File:

PDF, 135 KB

english, 2008

2

Mortality in Matrix Semigroups

Vesa Halava and Tero Harju

Journal:

American Mathematical Monthly

Year:

2001

Language:

english

File:

PDF, 187 KB

english, 2001

3

REDUCTION TREE OF THE BINARY GENERALIZED POST CORRESPONDENCE PROBLEM

HALAVA, VESA, HOLUB, ŠTĚPÁN

Journal:

International Journal of Foundations of Computer Science

Year:

2011

Language:

english

File:

PDF, 240 KB

english, 2011

4

Mortality in Matrix Semigroups

Halava, Vesa, Harju, Tero

Journal:

American Mathematical Monthly

Year:

2001

Language:

english

File:

PDF, 292 KB

english, 2001

5

On post correspondence problem for letter monotonic languages

Vesa Halava, Jarkko Kari, Yuri Matiyasevich

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 300 KB

english, 2009

6

Decidability of the binary infinite Post Correspondence Problem

Vesa Halava, Tero Harju, Juhani Karhumäki

Journal:

Discrete Applied Mathematics

Year:

2003

Language:

english

File:

PDF, 115 KB

english, 2003

7

On Markov's Undecidability Theorem for Integer Matrices

Vesa Halava, Tero Harju

Journal:

Semigroup Forum

Year:

2007

Language:

english

File:

PDF, 298 KB

english, 2007

8

Defect theorems with compatibility relations

Vesa Halava, Tero Harju, Tomi Kärki

Journal:

Semigroup Forum

Year:

2008

Language:

english

File:

PDF, 542 KB

english, 2008

9

Word problem for deterministic and reversible semi-Thue systems

Halava, Vesa, Harju, Tero

Journal:

Semigroup Forum

Year:

2014

Language:

english

File:

PDF, 464 KB

english, 2014

10

On the n-permutation Post Correspondence Problem

Ernvall, Mari, Halava, Vesa, Harju, Tero

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 386 KB

english, 2015

11

Undecidability of infinite post correspondence problem for instances of Size 9

Halava, Vesa, Harju, Tero

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

2006

Language:

english

File:

PDF, 126 KB

english, 2006

12

Walks on tilings of polygons

Halava, Vesa, Harju, Tero

Journal:

Theoretical Computer Science

Year:

2017

Language:

english

File:

PDF, 357 KB

english, 2017

13

Small Semi-Thue System Universal with Respect to the Termination Problem

Halava, Vesa, Matiyasevich, Yuri, Niskanen, Reino, Păun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 197 KB

english, 2017

14

A New Proof for Undecidability of the Bi-Infinite Post Correspondence Problem

Halava, Vesa, Harju, Tero, Sahla, Esa, Păun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 207 KB

english, 2017

15

Subset Synchronization in Monotonic Automata

Ryzhikov, Andrew, Shemyakov, Anton, Halava, Vesa, Karhumäki, Juhani, Matiyasevich, Yuri, Volkov, Mikhail

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 252 KB

english, 2018

16

Studying Word Equations by a Method of Weighted Frequencies

Saarela, Aleksi, Halava, Vesa, Karhumäki, Juhani, Matiyasevich, Yuri, Volkov, Mikhail

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 265 KB

english, 2018

17

Decision Problems and Applications of Rational Sets of Regular Languages

Afonin, Sergey, Halava, Vesa, Karhumäki, Juhani, Matiyasevich, Yuri, Volkov, Mikhail

Journal:

Fundamenta Informaticae

Year:

2018

File:

PDF, 257 KB

2018

18

Periods and Binary Words

Vesa Halava, Tero Harju, Lucian Ilie

Journal:

Journal of Combinatorial Theory, Series A

Year:

2000

Language:

english

File:

PDF, 102 KB

english, 2000

19

Preface

Vesa Halava, Igor Potapov

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 94 KB

english, 2008

20

Undecidability in matrices over Laurent polynomials

Vesa Halava, Tero Harju

Journal:

Advances in Applied Mathematics

Year:

2004

Language:

english

File:

PDF, 91 KB

english, 2004

21

Positivity of second order linear recurrent sequences

Vesa Halava, Tero Harju, Mika Hirvensalo

Journal:

Discrete Applied Mathematics

Year:

2006

Language:

english

File:

PDF, 155 KB

english, 2006

22

Equality sets of prefix morphisms and regular star languages

Vesa Halava, Tero Harju, Michel Latteux

Journal:

Information Processing Letters

Year:

2005

Language:

english

File:

PDF, 84 KB

english, 2005

23

Square-free partial words

Vesa Halava, Tero Harju, Tomi Kärki

Journal:

Information Processing Letters

Year:

2008

Language:

english

File:

PDF, 127 KB

english, 2008

24

Extension of the decidability of the marked PCP to instances with unique blocks

Vesa Halava, Tero Harju, Juhani Karhumäki, Michel Latteux

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 231 KB

english, 2007

25

Overlap-freeness in infinite partial words

Vesa Halava, Tero Harju, Tomi Kärki, Patrice Séébold

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 415 KB

english, 2009

26

On a geometric problem of zigzags

Vesa Halava, Tero Harju, Lucian Ilie

Journal:

Information Processing Letters

Year:

1997

Language:

english

File:

PDF, 313 KB

english, 1997

27

Binary (generalized) Post Correspondence Problem

Vesa Halava, Tero Harju, Mika Hirvensalo

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 208 KB

english, 2002

28

Marked PCP is decidable

Vesa Halava, Mika Hirvensalo, Ronald de Wolf

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 147 KB

english, 2001

29

The Structure of Infinite Solutions of Marked and Binary Post Correspondence Problems

Vesa Halava, Tero Harju, Juhani Karhumäki

Journal:

Theory of Computing Systems

Year:

2007

Language:

english

File:

PDF, 165 KB

english, 2007

30

Improved matrix pair undecidability results

Vesa Halava, Mika Hirvensalo

Journal:

Acta Informatica

Year:

2007

Language:

english

File:

PDF, 313 KB

english, 2007

31

Relational codes of words

Vesa Halava, Tero Harju, Tomi Kärki

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 462 KB

english, 2007

32

New proof for the undecidability of the circular PCP

Vesa Halava, Tero Harju

Journal:

Acta Informatica

Year:

2013

Language:

english

File:

PDF, 185 KB

english, 2013

33

MATRIX EQUATIONS AND HILBERT'S TENTH PROBLEM

BELL, PAUL, HALAVA, VESA, HARJU, TERO, KARHUMÄKI, JUHANI, POTAPOV, IGOR

Journal:

International Journal of Algebra and Computation

Year:

2008

Language:

english

File:

PDF, 219 KB

english, 2008

34

UNDECIDABILITY BOUNDS FOR INTEGER MATRICES USING CLAUS INSTANCES

HALAVA, VESA, HARJU, TERO, HIRVENSALO, MIKA

Journal:

International Journal of Foundations of Computer Science

Year:

2007

Language:

english

File:

PDF, 847 KB

english, 2007

35

PREFACE

HALAVA, VESA, POTAPOV, IGOR

Journal:

International Journal of Foundations of Computer Science

Year:

2009

Language:

english

File:

PDF, 80 KB

english, 2009

36

PREFACE

HALAVA, VESA, POTAPOV, IGOR

Journal:

International Journal of Foundations of Computer Science

Year:

2008

Language:

english

File:

PDF, 157 KB

english, 2008

37

GENERALIZED POST CORRESPONDENCE PROBLEM FOR MARKED MORPHISMS

HALAVA, VESA, HARJU, TERO, HIRVENSALO, MIKA

Journal:

International Journal of Algebra and Computation

Year:

2000

Language:

english

File:

PDF, 213 KB

english, 2000

38

On the number of squares in partial words

Halava, Vesa, Harju, Tero, Kärki, Tomi

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

2010

Language:

english

File:

PDF, 213 KB

english, 2010

39

Equality sets for recursively enumerable languages

Halava, Vesa, Harju, Tero, Hoogeboom, Hendrik Jan, Latteux, Michel

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

2005

Language:

english

File:

PDF, 205 KB

english, 2005

40

On fixed points of rational transductions

Halava, Vesa, Harju, Tero, Sahla, Esa

Journal:

Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 185 KB

english, 2018

41

Undecidability of the equivalence of finite substitutions on regular language

Halava, Vesa, Harju, Tero

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

1999

Language:

english

File:

PDF, 291 KB

english, 1999

42

Preserving λ-scrambling Matrices*

Guterman, Alexander E., Maksaev, Artem M., Halava, Vesa, Karhumäki, Juhani, Matiyasevich, Yuri, Volkov, Mikhail

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 327 KB

english, 2018

43

Vector Ambiguity and Freeness Problems in SL(2, ℤ)

Ko, Sang-Ki, Potapov, Igor, Halava, Vesa, Karhumäki, Juhani, Matiyasevich, Yuri, Volkov, Mikhail

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 346 KB

english, 2018

44

Trim Strongly Connected Synchronizing Automata and Ideal Languages

Maslennikova, Marina, Rodaro, Emanuele, Halava, Vesa, Karhumäki, Juhani, Matiyasevich, Yuri, Volkov, Mikhail

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 510 KB

english, 2018

45

On {ℓ}-Metric Dimensions in Graphs

Hakanen, Anni, Laihonen, Tero, Halava, Vesa, Karhumäki, Juhani, Matiyasevich, Yuri, Volkov, Mikhail

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 316 KB

english, 2018

46

Perface

Halava, Vesa, KarhumÃ¤ki, Juhani, Matiyasevich, Yuri, Volkov, Mikhail, Halava, Vesa, KarhumÃ¤ki, Juhani, Matiyasevich, Yuri, Volkov, Mikhail

Journal:

Fundamenta Informaticae

Year:

2018

File:

PDF, 45 KB

2018

47

On Shuffling a Word with its Letter-to-Letter Substitution

Halava, Vesa, Harju, Tero, Sahla, Esa, ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegorz

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 188 KB

2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски